Search results for " prove"
showing 10 items of 103 documents
Occurrence of fossil organic matter in modern environments: optical, geochemical and isotopic evidence
2011
International audience; This study relates to the input and fate of fossil organic matter (FOM) in the modern environment, and focuses on two experimental watersheds overlying Jurassic marls: Le Laval and Le Brusquet (1 km(2) in area), located near Digne, Alpes-de-Haute-Provence, France. Considering that FOM delivery is mainly a result of different processes affecting sedimentary rocks [(bio)chemical and mechanical weathering], samples from different pools were collected: bedrocks, weathering profiles, soils and riverine particles. The samples were examined using complementary techniques: optical (palynofacies methods), geochemical (Rock-Eval 6 pyrolysis, C/N ratio), molecular (gas chromato…
Obsidian in the Upper Palaeolithic of Iberia
2021
Submitted by André Pereira (andrepereira@letras.ulisboa.pt) on 2021-07-28T13:04:08Z No. of bitstreams: 1 obsidian-in-the-upper-palaeolithic-of-iberia.pdf: 35662679 bytes, checksum: 4c261781e3211c52c02d47cc36e26d98 (MD5) Approved for entry into archive by Manuel Botelheiro Moreno (manuelmoreno@campus.ul.pt) on 2021-07-28T16:31:42Z (GMT) No. of bitstreams: 1 obsidian-in-the-upper-palaeolithic-of-iberia.pdf: 35662679 bytes, checksum: 4c261781e3211c52c02d47cc36e26d98 (MD5) Made available in DSpace on 2021-07-28T16:32:40Z (GMT). No. of bitstreams: 1 obsidian-in-the-upper-palaeolithic-of-iberia.pdf: 35662679 bytes, checksum: 4c261781e3211c52c02d47cc36e26d98 (MD5) Previous issue date: 2021 info:eu…
La nueva oportunidad de la hipoteca inversa
2021
The reverse mortgage is a credit or loan guaranteed by a mortgage that falls on the applicant?s habitual residence, granted at once, or through periodic benefits, to a person who must be over a certain age or prove a degree of disability or dependency, and is not due until the time of death. In view of the doubts that the future of the public pension is raising and the concentration of savings in Spanish property, the reverse mortgage is once again being put on the table as a viable alternative to complement a public pension with little revaluation, in view of the increase in life expectancy and expenses after retirement.
Analysis of Sagunto Ibero-Roman votive bronze statuettes by portable X-ray fluorescence
2019
Abstract The main objective of this work was the study of chemical composition of an important collection of Ibero-Roman votive bronze statuettes exposed in the Archaeological Museum of Sagunto (Spain). Precision and accuracy of the measurements were obtained developing a proper analytical method, also avoiding any possible damage to the studied objects using a portable energy dispersive X- ray fluorescence system. Principal Components Analysis (PCA) to discriminate between groups based on ratios Fe/Cu, Pb/Cu, Sn/Cu, Ag/Cu, Ni/Cu and Impurities/Cu were employed to observe differences between the used smelting, manufacturing processes and raw materials. The characterisation of bronze statuet…
Managing Multi-center Flow Cytometry Data for Immune Monitoring.
2014
With the recent results of promising cancer vaccines and immunotherapy 1 – 5 , immune monitoring has become increasingly relevant for measuring treatment-induced effects on T cells, and an essential tool for shedding light on the mechanisms responsible for a successful treatment. Flow cytometry is the canonical multi-parameter assay for the fine characterization of single cells in solution, and is ubiquitously used in pre-clinical tumor immunology and in cancer immunotherapy trials. Current state-of-the-art polychromatic flow cytometry involves multi-step, multi-reagent assays followed by sample acquisition on sophisticated instruments capable of capturing up to 20 parameters per cell at a…
Tradizioni colte nel «Contrasto» di Cielo d'Alcamo
2012
Dopo un'iniziale ricognizione - anche critico-bibliografica - relativa ai principali problemi storico-letterari e interpretativi concernenti il «Contrasto» di Cielo d'Alcamo (inc. «Rosa fresca aulentissima, ch'apari in ver la state»), ci si sofferma principalmente sugli echi e le suggestioni che il poeta attinge alla tradizione letteraria colta, in particolare alla produzione poetica provenzale e mediolatina. Vengono studiate, soprattutto, la tecnica di ripresa e di concatenazione delle battute fra i due locutori, nonché la presenza di alcuni "tòpoi" di illustre tradizione. Dall'analisi emerge come quella di Cielo d'Alcamo sia non la figura di un giullare o di un poeta "popolare" (come per …
Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications
2021
Abstract Unmanned aerial vehicle (UAV) co-operative systems are complex cyber-physical systems that integrate a high-level control algorithm with pre-existing closed implementations of lower-level vehicle kinematics. In model-driven development, simulation is one of the techniques that are usually applied, together with testing, in the analysis of system behaviours. This work proposes a method and tools to validate the design of UAV co-operative systems based on co-simulation and formal verification. The method uses the Prototype Verification System, an interactive theorem prover based on a higher-order logic language, and the Functional Mock-up Interface, a widely accepted standard for co-…
ANALISI NUMERICO-SPERIMENTALE SUL COMPORTAMENTO A FATICA DI COMPOSITI CARALL RIVETTATI
2009
Nel lavoro è descritto un modello di danneggiamento per provini CARALL (CArbon Reinforced ALLuminium), rivettati e non rivettati, sottoposti a prove di fatica mediante flessione pulsatoria a tre punti in controllo di spostamento. I provini sono realizzati sovrapponendo 8 lamine di tessuto intrecciato di carbonio [0°/90°] e resina epossidica con interposta una lamina in lega di alluminio 6061-T6 dello spessore di 0.8mm. Le prove sono state condotte su provini non rivettati (Tipo 1), su provini con due rivetti disposti simmetricamente ad una distanza d=22 mm dalla mezzeria (Tipo 2) e su provini con 2 rivetti disposti ad una distanza d=44 mm dalla mezzeria (Tipo3). L’analisi dei risultati sper…
Numerical decomposition of geometric constraints
2005
Geometric constraint solving is a key issue in CAD/CAM. Since Owen's seminal paper, solvers typically use graph based decomposition methods. However, these methods become difficult to implement in 3D and are misled by geometric theorems. We extend the Numerical Probabilistic Method (NPM), well known in rigidity theory, to more general kinds of constraints and show that NPM can also decompose a system into rigid subsystems. Classical NPM studies the structure of the Jacobian at a random (or generic) configuration. The variant we are proposing does not consider a random configuration, but a configuration similar to the unknown one. Similar means the configuration fulfills the same set of inci…
"C’è la coda alla porta del padrino", recensione al libro di Enrico Bellavia e Salvo Palazzolo "Voglia di mafia. Le metamorfosi di Cosa Nostra da Cap…
2004
La recensione ripercorre i luoghi salienti del libro di Palazzolo e Bellavia, soffermandosi in particolare sui processi di costruzione del consenso intorno al fenomeno mafioso